On Generalized Communicating P Systems with One Symbol
نویسندگان
چکیده
Generalized communicating P systems (GCPSs) are purely communicating tissue-like membrane systems with rules for moving pairs of objects. Despite their simplicity, these systems are rather powerful, they are able to generate any recursively enumerable set of numbers even having restricted variants of communication rules. In this paper we show that GCPSs still remain computationally complete if they are given with a singleton alphabet of objects and with one of the restricted types of rules parallel-shift, join, presence-move, and chain.
منابع مشابه
On Sequential and 1-Deterministic P Systems
The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable assumption. Here we study the computational power of different variants of sequential P-systems. Initially we look at cooperative systems operating on symbol objects and without prioritized rules, but which allow membrane dissolut...
متن کاملOn the Computational Power of 1-Deterministic and Sequential P Systems
The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable assumption. Here we study the computational power of different variants of sequential P-systems. Initially we look at cooperative systems operating on symbol objects and without prioritized rules, but which allow membrane dissolut...
متن کاملSimulation and Verification of P Systems through Communicating X-machines P.Kefalas1, G.Eleftherakis1, M.Holcombe2 and M.Gheorghe2
The aim of this paper is to prove the suitability of a parallel distributed computational model, communicating X-machines, to simulate in a natural way a well established model of molecular computation, P systems, and to present some further benefits of the approach allowing us to check for some formal properties. A set of rules to transform any P system with symbol-objects into a communicating...
متن کاملSimulation and verification of P systems through communicating X-machines.
The aim of this paper is to prove the suitability of a parallel distributed computational model, communicating X-machines, to simulate in a natural way a well established model of molecular computation, P systems, and to present some further benefits of the approach allowing us to check for some formal properties. A set of rules to transform any P system with symbol-objects into a communicating...
متن کامل. A P ] 1 1 A ug 2 00 3 FIRST - ORDER HYPERBOLIC PSEUDODIFFERENTIAL EQUATIONS WITH GENERALIZED SYMBOLS
We consider the Cauchy problem for a hyperbolic pseudodifferential operator whose symbol is generalized, resembling a representative of a Colombeau generalized function. Such equations arise, for example, after a reduction-decoupling of second-order model systems of differential equations in seismology. We prove existence of a unique generalized solution under logtype growth conditions on the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010